61. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
Author: edited by J. W. de Bakker and J. van Leeuwen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
85
62. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author: edited by Wilfried Brauer
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
194
63. Automata, languages, and programming
Author: Fedor V. Fomin ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
I58
2013
64. Automata, languages, and programming
Author:
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory - Congresses,Formal languages - Congresses,Programming (Electronic computers) - Congresses
Classification :
QA267
.
A923
65. Automata, languages, and programming
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
52
,
etc
...
66. Automata, languages and programming
Author: Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA267
.
I58
2011
67. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
68. Automata, languages and programming
Author: / edited by Arto Salomaa and Magnus Steinby
Library: Library of College of Science University of Tehran (Tehran)
Subject: Sequential machine theory -- Congresses,Formal languages -- Congresses,Programming languages (Electronic computers) -- Congresses
Classification :
QA
267
.
5
.
S4
C63
1977
69. Automata, languages, and programming
Author: / Zoltan Fulop, Ferenc Gecseg (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
A923
1995
70. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
71. Automata, languages, and programming
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
Classification :
QA
267
.
A923
72. Automata, languages, and programming
Author: Artur Czumaj ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA267
.
I23
2012eb
73. Automata, languages and programming
Author: / M. S. Paterson(ed)
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
Classification :
QA
267
.
A9228
1990
74. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
Classification :
QA
267
.
5
.
S4
.
I47
1980
75. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
Author: Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
Classification :
QA
267
.
I57
1997
76. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
Classification :
QA
267
.
A9228
1991
77. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
Author: edited by Laurent kott
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
226
78. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
I55
1985
79. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
80. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
